$\forall$$a$,$b$:$\mathbb{Z}$. ($a$ = $b$) $\Rightarrow$ assoced($a$; $b$)